множество морфизмов

См. также в других словарях:

• ЧАСТИЧНО УПОРЯДОЧЕННОЕ МНОЖЕСТВО — непустое множество, на к ром зафиксирован нек рый порядок. Ч. у. м. является примером модели. Примеры Ч. у. м.: 1) множество натуральных чисел с обычным порядком; 2) множество натуральных чисел, где означает, что аделит b; 3) множество всех… …   Математическая энциклопедия

• Пучок (математика) — У этого термина существуют и другие значения, см. Пучок. Пучки используются для установления отношений между локальными и глобальными данными. По этой причине они играют значительную роль в топологии, дифференциальной геометрии и алгебраической… …   Википедия

• КОНУС — 1) К. в евклидовом пространстве множество К, составленное из полупрямых, исходящих из нек рой точки О вершины К. Границу дК множества К(составленную из полупрямых, наз. образующими К.) часть конической поверхности также иногда наз. К. Наконец,… …   Математическая энциклопедия

• МНОГОМЕСТНЫЙ ФУНКТОР — мультифунктор, функция от нескольких аргументов, определенная на категориях, принимающая значения в категории и задающая одноместный функтор по каждому аргументу. Более точно, пусть даны га категорий , Построим декартово произведение категорий… …   Математическая энциклопедия

• Теория категорий — Теория категорий  раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Теория категорий занимает центральное место в современной математике[1], она также нашла… …   Википедия

• Категория (математика) — Теория категорий  раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… …   Википедия

• Контравариантный функтор — Теория категорий  раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… …   Википедия

• Морфизм — Теория категорий  раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… …   Википедия

• ФАКТОРКАТЕГОРИЯ — конструкция, аналогичная конструкции фактормножества или факторалгебры. Пусть произвольная категория, и в классе морфизмов Моr задано отношение эквивалентности , удовлетворяющее следующим условиям: 1) если то начала и концы морфизмов и совпадают; …   Математическая энциклопедия

• Произведение (теория категорий) — Произведение двух или более объектов  это обобщение в теории категорий таких понятий, как декартово произведение множеств, прямое произведение групп и произведение топологических пространств. Произведение семейства объектов  это в… …   Википедия

• Копроизведение — (категорная сумма) семейства объектов  обобщение в теории категорий для понятий дизъюнктного объединения множеств и топологических пространств и прямой суммы модулей или векторных пространств. Копроизведение семейства объектов  это… …   Википедия